Used auto keyword in is_satisfiable in unsatisfiable_goals.cc.
Made spawn_write parameters be *ahem* linearly independent.
Made NULL pointer comparisons more explicit in writeback.cc.
Added comment explaining what compute_write_durability does (and how).