fix: allow to be compatible with solc 0.8.x

[mmsqe]

• replace usages of uint(-1) with type(uint).max
• loosen pragma
• for more info, see https://docs.soliditylang.org/en/breaking/080-breaking-changes.html#new-restrictions