lang: Add checked operations for lamport management

[kevinrodriguez-io]

References: #2552

This PR adds checked operations for lamport management in order to avoid Numeric Overflow exploits.

Pending:

• Add tests for failing scenarios (A numeric overflow is triggered u64 variant).

[vercel]

@kevinrodriguez-io is attempting to deploy a commit to the coral-xyz Team on Vercel.

A member of the Team first needs to authorize it.

[kevinrodriguez-io]

@acheroncrypto can you throw a quick review on this?

[acheroncrypto]

This PR adds checked operations for lamport management in order to avoid Numeric Overflow exploits.

Are you able to exploit this?

[kevinrodriguez-io]

Will add tests, I'm a bit unfamiliar with running all the anchor toolchain but I'll attempt to trigger an exploit with a test later