Move load/store out of circuitlibs and into VMs