feat: reduce constraint in is_less_than_array chip

[GunaDD]

Description

Two changes made:

1. Updated the analysis of theis_less_than_array chip in the README.md
2. Removed unnecessary constraint

How Has This Been Tested?

• Added new tests to CI
• Ran the present unit tests for the is_less_than_array chip and integration tests.

Test Configuration:

• Unit tests pass
• Integration tests pass
• Manual testing completed

Checklist

• I have performed a self-review of my own code
• I have made corresponding changes to the documentation
• I have added tests that prove my fix is effective or that my feature works
• I have added new tests to CI

Closes INT-5072

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(+28 [+10.6%]) 293	322,610	2,058,654	-	-	-
fibonacci	(-23 [-1.9%]) 1,175	1,500,210	2,107,962	-	-	-
regex	(-92 [-3.0%]) 2,996	4,108,483	17,662,886	-	-	-
ecrecover	(-5 [-0.6%]) 874	140,497	2,275,056	-	-	-
pairing	(-36 [-2.0%]) 1,743	1,882,939	25,847,762	-	-	-

Commit: 7bbf43d

Benchmark Workflow