avoid using set expansion mutex or next-peeking when single threaded

When the verifier is single threaded, there's no need to use a mutex or snoop
what other threads are doing. This allows us to optimise single threaded
checking slightly.

Github: related to #104 "remove set_expand_lock?"