Improve mamdani tests
Update benchmark and hayai
Update README.md