State access in Block hooks not working

[rpanic]

State access in block hooks is theoretically built into the circuits, but the API is not built out properly.
Typing is wrong, tracing doesn't account for it, etc.

It makes sense to fix this as part of #193