Add 4-byte alignment check on pc in branching instructions #653

Job	Run time
rvsol-lint	12s
rvsol-tests	1m 27s
check-optimism-version-match	53s
op-program-test	2m 7s
rvgo-abigen	1m 3s
rvgo-lint	2m 34s
rvgo-tests	11m 41s
	19m 57s

Provide feedback