Multiplier helper assertions

Created by: silabs-robin

These are helper assertions created as part of formal verification. In simulation, the overhead of these single-cycle checks should be minimal. Tested in various formal configurations and in core-v-verif (ci_check and isa_fcov_holes).