Add boehm finalizers and GC disabling/enabling