Verif: New Formal Testbench

[ben-marshall]

Issue to keep track of creating the new formal testbench.

Checks Implemented:

• [x] mv2gpr
• [x] mv2cop
• [x] add_px
• [x] sub_px
• [x] mul_px
• [x] sll_px
• [x] srl_px
• [x] rot_px
• [x] slli_px
• [x] srli_px
• [x] roti_px
• [x] rseed_cr
• [x] rsamp_cr
• [x] cmov_cr
• [x] cmovn_cr
• [x] scatter_b
• [x] gather_b
• [x] scatter_h
• [x] gather_h
• [x] lmix_cr
• [x] hmix_cr
• [x] bop_cr
• [x] equ_mp
• [x] ltu_mp
• [x] gtu_mp
• [x] add3_mp
• [x] add2_mp
• [x] sub3_mp
• [x] sub2_mp
• [x] slli_mp
• [x] sll_mp
• [x] srli_mp
• [x] srl_mp
• [x] acc2_mp
• [x] acc1_mp
• [x] mac_mp
• [x] lbu_cr
• [x] lhu_cr
• [x] lw_cr
• [x] lui_cr
• [x] lli_cr
• [x] twid_b
• [x] twid_n0
• [x] twid_n1
• [x] twid_c0
• [x] twid_c1
• [x] twid_c2
• [x] twid_c3
• [x] ins_cr
• [x] ext_cr
• [x] sb_cr
• [x] sh_cr
• [x] sw_cr