Fast, Parallel RISC-V Simulation for Rapid Software Verification