Faults: Better consistency testing