taint2, tainted_branch: Fix a segfault and improve output.
taint2: Add configuration options for inlining and optimization.