taint2: Intermediate commit. Doesn't work yet.
taint2: Intermediate commit.
taint2: Intermediate commit 3.
taint2: Another intermediate commit. Should be mostly working now.
taint2: Another intermediate commit. Added models for load, store, select.
taint2: Another intermediate commit. Added model for extractvalue.
taint2: Only dump if taintdebug is on.
taint2: Further fixes. Code now appears to run successfully.
taint2: Fixed a bunch of subtle bugs.

Mainly around sizing and indexing into FastShad's. We were corrupting
memory in a few different ways by being a little cavalier.

Replays now appear to run successfully.
taint2: Fix a few memory corruption bugs.
taint: Remove unused variable warnings.
taint2: Remove unused variable warnings.
taint2: Fix some dependency exclusion
taint2: Fixed more memory corruption bugs. Replays now run successfully.
taint2: Restore support for hypercalls and API.

Fix hypercall support and re-establish PPP API so that other plugins can
call in to the new taint API. Much of the old functionality is still
missing.
taint2: Add much better debug logging and fix a memcpy-size bug.
taint2: Add tainted pointer mode; aestest now passes.
taint2: Simplify the taint op code.

Also start generalizing to different labelset types.
taint2: Memoize label set unions so queries happen faster.
taint2: CPPify a bunch of stuff to prepare for templating