Whoops: actually add the tests to all_md_tests.
Add a new mode to the enforcers which does a delay at every
opportunity, rather than just on one end of the message operation.
Extend summary_to_interp so that it can more easily combine multiple
enforcers into one.
More sensible poisoning: use different poisons in different places, so
that we can tell them apart.
Make the CEP interpreter actually interpret entry point expressions
correctly.
Avoid some really stupid spurious SEGVs when processing BadPtr
expressions.  This is only really a performance thing, since we
recover from the signal handler anyway, but it does make things a bit
easier to understand in gdb.
Get the expression eval map to compute the HB message content as it's
working, rather than doing it later based on instruction domination.
This eliminates a whole bunch of bugs related to slight differences
between the two algorithms, and also simplifies the code quite a bit.
Get rid of some annoying debug crud.
Get rid of some deadlocks in the test programs.
Tweak the harness to not clobber any existing results in its output file.
Turn off a couple of tests which are supposed to fail.
Unbreak support for calling library functions from within patches.
Do a little bit more canonicalisation on complex HB queries.
More support for the DivMod (etc) operators.
Simplify x86_opcodes.c a bit by only including information which we
actually need.
Extend instruction decoder with a couple more XMM instructions.
Add a timeout to enforce_crash.
Add a missing case to ced_to_cep.
So, it turns out that some HB graphs become cyclic when you use
synchronous message operations.  I don't have time to fix that now,
so just flag a warning when it happens.
Avoid some redundant work building the expression eval map.