Fil-C should have a(n on by default) mode where collecting an unfreed allocation is a crash, if it doesn't already.

It's not that simple since some object allocations go unfreed.

For example, Fil-C lifts all escaping locals to the heap, but doesn't free them.