Add 4-byte alignment check on pc in JAL/JALR instructions #643

Job	Run time
rvgo-lint	2m 35s
rvgo-abigen	1m 6s
check-optimism-version-match	25s
op-program-test	2m 6s
rvgo-tests	12m 10s
rvsol-lint	5s
rvsol-tests	1m 5s
	19m 32s

Provide feedback