BuffState is not necessary.

Just realized that we never used the used value in BuffState for
anything but assertions, so we can get rid of it entirely.
Switch to atomic-primops
Consistency in $!