add assert_user_has(nt)_case functions + misc pep8