Python: testbench now includes a model of the sram.