Debugged storebuffer integration tests