Added verification code for R-type insts, implemented jr and jalr insts.