Adding assumptions list in the readme