Added documentation pertaining to ENABLE_FIAT to readme.