Enable AOT compilation for Procs

Raw DSLX functions can be AOT-compiled and run from testbenches, but Procs cannot, requiring that they be JIT-compiled on every execution (the proc runtime libs require a Proc* object). It'd potentially make test-debug cycles faster if we could AOT-compile the DSLX.