Add some sanity asserts