Refactor checking of properties in session generator

[treiher]

SessionGenerator._ensure is difficult to understand. Since the removal of deferred exceptions, it could probably be replaced by the much simpler SessionGenerator._raise_exception_if.