CoraCool: Clean up thread-safety annotations.

Clean up some thread-safety annotations that are no longer needed now that races in COOL have been fixed.