No more locks in sampler add/del

[thorstenhater]

• Recognize that sampler handling is a simulation-level method, which is not callable by multiple threads.
• Simplify probe_map
• Specialize membership predicates
• Clean-up a few things.

Result: @jlubo's test case used to use 20s to add 1600 sampler; now it's 1.2s.