Factor our helper for asserting faults.