[Enhancement] Emplement checking whether the required attribute is set in the schema config during compilation

[Peefy]

For the following code

schema Name:
    name: str

n2 = Name {
    # Expect a compile error instead of a runtime error
}

config = {
    name: "Alice"
}

n2 = Name {
    **config # Note it's ok here
}