Profiling breaks determinism
While looking at #5889 (closed) I noticed that
CostCentre currently includes a
Unique (although it's represented as an
Int for reasons that aren't relevant here; I change this in D4148). This unique identifies the cost centre and appears to be derived from the unique of a binder. This presumably breaks determinism.