added assertions to XbsvSpi testbench