Fixes for AASM compiler

[marknuzz]

Motivation

1. Transition methods (after, guard, on_transition, success) were not found and would result in a failed type check if used.
2. Events can support arguments when being fired, and those arguments are passed to the PrivateAASMEvent method blocks. If we don't have any params arguments for the block, the default behavior of that block argument is not T.untyped, but rather NilClass, which will cause a type error if we try to reference those arguments. So as a result we need to change the proc signature to show one argument of T.untyped rather than no arguments.

Implementation

Added transition callbacks similar to how the events are added. PrivateAASMTransition class is used as the allowed methods are distinct from the allowed methods in the parent PrivateAASMEvent context.

Tests

Yes

[KaanOzkan]

Can be rebased on main that includes #2046

[marknuzz]

Ok I have rebased it