Consider limiting the execution budget

[Unisay]

@nielstron wrote:

as a recommendation, you should limit the execution budget of the UPLC machine. submissions can be arbitrarily bad, and currently the machine will just run forever if a user accidentally submits an infinite loop or extremely slow solution