Update asserts documentation