Add asserts for checks in README