[pre-MIP] Add permissions to preconditions

[L-as]

A zkApp might need to pay out funds to a user, but if the user has receive != None, it could get stuck. Allowing preconditions to specify permissions on the account would allow you to prove that the permissions don't allow the action, enabling a way to handle the failure.