Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros

Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros #7422