Add an xor optimization; ifdef-ify symbolic execution; add bfhw.c
REALLYFAST: does what it says