Added readme for machine verification usage
README modifications.