Created by: lihasgupta
Today invariant_checker does not look for PC discontinuities after a branch because it has no decoder. This PR adds decoding to invariant_checker to confirm branches go to their targets.
Adds simple unit tests.
Adds auto-init of drdecode to instr_init() for cases where no heap allocation occurs.
Fixes #5871 (closed)