Simplify the code in BranchInstruction.
Implement logic for all forms of LDR/STR.
Use an enum for system register groups.