Enable hw division on armv7s in ARM mode too.
Kill support for the ancient FPA format on ARM.
Remove an unused variable in verify.c.
Add a missing IS_VFP check for OP_FCLT in the ARM back end.