Run RV32 tests on spike with --isa=RV32