Formatted SpinLock manager
Added more comments for SpinLock Manager
Formatting + comments for LockTableRWTxnManager
- Indentation issues