beef up rv32si tests