Refinement Modeling and Verification of RISC-V Assembly Using Knuckledragger (philipzucker.com)