Database is now only written to when we're actually in the middle of inference.
Sweet, fixed it. Turns out there indeed was an error in the paper; the acceptance criterion was incomplete.
Massive speedup. Turns out, walking the 'f_back' pointers on frame objects to build a stack trace is much, much faster than calling inspect.stack.