Don't define PROF_SPIN by default
Reimplement the RTS spin locks as ticket locks

ToDo: Update corresponding PROF_LOCK code