Add assertions to Fenichel/Yochelson, and fix linked-list append breaking if a copying GC occurs during it