Remove invariant and witness checks, since hyper-v crashes at the moment