Add flag to assume malloc succeeds
Fix an assumption that committing blocks have a parent during commitInstructions, and re-synthesise path condition arguments when we get the unusual case of referring indirectly to a parent function.