prov/psm: minor atomics fixes, assertion failure workaround, and debug output