Figure out procs & coverpoints/assertions

I've avoided thinking about how coverpoints & asserts should work inside procs, instead focusing on basic functionality, but as those first bits land, it's time to start thinking about how we thread tokens into and out of procs. It might be as simple as...threading the input tokens through (and restricting covers/asserts to Proc "next" blocks), but regardless, we need to think about it.