Non lwtey

This PR
- removes unneeded lwt-ness
- turn aSSert and aSSert_exists into queries
- fix a concurrency bug in confirm