Fixed some problems with Ensemble. The closure marshaler was marshaling huge closures containing Ensemble itself. I think I have fixed this problem. The performance numbers may change slightly due to a modification of thread_refiner_null, which now composes extracts only after an entire proof is done.