tabling + tracing tests
tabling now works with state (e.g. tracing) /cc @namin