risc0-circuit-rv32im 2.0.2

RISC Zero circuit for rv32im
Documentation
risc0-circuit-rv32im-2.0.2 has been yanked.