feat: miscellaneous fixes vol. 2

[lekhovitsky]

In this PR:

• cosmetic fixes in core/, libraries/ and pool/ contracts:
  • standardize NatSpec, make it more detailed
  • add some useful getters and remove those no longer useful
• ACLTrait and ACLNonReentrantTrait are merged into a single contract because the reduced version was no longer used anywhere
• Change Solidity pragma to ^0.8.23, remove unchecked ++i in loops which is a default