Development snapshot. Implemented one version of generic destruction but about to try another, simpler variant.
Added initial support for fault-injection with KULFI. Most of the new code is in widgets/kulfi, including a version of the miniFE benchmark modified to use kulfi modules and the LLVM-based fault injection methodology.