Support AllowAtMostNCallsCA operation to limit the number of operation calls that can be done in the code

[tcNickolas]

Is your feature request related to a problem? Please describe.
Classic QDK supported AllowAtMostNCallsCA operation that restricted the number of times a certain operation would be called in the code.

This functionality was broadly used in the Quantum Katas, for example, to limit the number of oracle calls in oracular algorithms, to prohibit using measurements in tasks focused on reversible computing, to limit the use of certain gates in tasks that asked to implement these gates in a specific way, etc. This is especially important in automatically graded programming assignments in which I really want to check whether the solution violates the requirements imposed by the task.

Describe the solution you'd like
A similar functionality in the modern QDK.

Describe alternatives you've considered
I don't have an alternative implementation for this functionality. In the classic QDK, there used to be a way to write a custom simulator that could do that that predated AllowAtMostNCallsCA, but this is not supported in the modern QDK.