Refinement Modeling and Verification of RISC-V Assembly Using Knuckledragger