Added an RTL test.  Good news: jumps, branches, halt, fail, and constants are working in ACL2.