Support additional typechecker restrictions

This release supports:

• safe_array=true and safe_vector_array=true
• enable_experimental_tc_features=no_fallback_in_namespaces (nightlies, expected in 3.25)

v3.0.4 was mis-tagged from master, and should not be used.