Sync to upstream/release/574

[vegorov-rbx]

• Added a limit on how many instructions the Compiler can safely produce (reported by @TheGreatSageEqualToHeaven)

C++ API Changes:

• With work started on read-only and write-only properties, Property::type member variable has been replaced with TypeId type() and setType(TypeId) functions.
• New LazyType unwrap callback now has a void return type, all that's required from the callback is to write into unwrapped field.

In our work on the new type solver, the following issues were fixed:

• Work has started to support RFC: Read-only properties #77 and RFC: Write-only properties #79
• Refinements are no longer applied on l-values, removing some false-positive errors
• Improved overload resolution against expected result type
• Frontend::prepareModuleScope now works in the new solver
• Cofinite strings are now comparable

And these are the changes in native code generation (JIT):

• Fixed MIN_NUM and MAX_NUM constant fold when one of the arguments is NaN
• Added constant folding for number conversions and bit operations
• Value spilling and rematerialization is now supported on arm64
• Improved FASTCALL2K IR generation to support second argument constant
• Added value numbering and load/store propagation optimizations
• Added STORE_VECTOR on arm64, completing the IR lowering on this target