Register file ECC bit inversion

Created by: halfdan-dolva

Inverted every other bit in register ECCs Added ECC helper assertions to ease execution of to level assertions in formal verification