Records a received counter, returning a new state.
Updates peerLastCounter if the received counter is newer, and prunes old entries from seenCounters that fall outside the window.
Current PSK state
The received counter to record
New PSK state with counter recorded
Records a received counter, returning a new state.
Updates peerLastCounter if the received counter is newer, and prunes old entries from seenCounters that fall outside the window.