Randomized Testing of RISC-V CPUs Using Direct Instruction Injection