Add an `rmc_sanity_check` function for that flavor of assert

[avanhatt]

For vtable sanity checks, we want to add assertions that are essentially cheap checks that our codegen reasoning is correct. It would be nice to have a separate path for these that add the issue-filing URL to assertions and hard fail at that point, similar to codegen_unimplemented.