use relaxed atomics for operating on the seen set count

The aim here is eke out a little extra performance from set_insert(). Thanks to
a blog post from Travis Downs [0] for the inspiration here.

  [0]: https://travisdowns.github.io/blog/2020/07/06/concurrency-costs.html