Tests for the norm_num1 (NormNumI) tactic

The #guard_msgs tests in this file are sensitive to any other diagnostics emitted at the guarded commands, so this file must keep a style-conformant header (otherwise linter.style.header warnings can leak into the #guard_msgs output and fail CI).