ck_swlock: Various improvements.

- Remove recursive locks.
- Remove unnecessary fences.
- Add necessary fences.
- Simplify state machine.