Factor out test-utils.rkt
ARM coprocessor and VFP floating point instructions