README.effects: Document MAX_NUM_REQS
README.effects (or some other document, if more relevant) should document max number of requirements in a requirement vector.
README.effects (or some other document, if more relevant) should document max number of requirements in a requirement vector.