Add a good failure state for allocation failure

• Record in the state whether there has been an allocation failure.
• Allocation failure as a new statement value.
• Modification of the step relation to allow allocation failure to propagate to all threads.
• Hide reasoning about allocation failure in a lifting lemma.
• Actually add an "allocation failure" reduction step.
• Fix adequacy.