Soft assertions and sanity checks