Remove hardcoded events limit

[georgeee]

While the Protocol supports up to 100 field elements worth of events, actual limit in Berkeley is only 16.

This is due to bounded types hard limit.

This limit is hardcoded as 16, but it could actually be computed from other protocol constants.

This issue's purpose is to reqrite the hardcoded constant and introduce code to calculate the bound in a precise manner.