Disable PROF_SPIN by default?
While answering an email inquiry about spinlocks counters today I noticed that includes/rts/Config.h
defines PROF_SPIN
by default. This seems quite odd as these counters are of little interest to users and yet incur a small amount of runtime overhead. I suspect we should disable this by default.