Add benches for kspin::Mutex uncontended/contended paths #19

Scope: criterion bench measuring lock/unlock on a single thread and (separately) under contention from 2–N threads. No regression gate initially — just collect a baseline for CodSpeed.

Acceptance: benches exist and run under cargo bench.