This release fixes multiple crashes and false-positives:
- #62 Requesting traces with floats results in a crash
- #63 FIsNaN is translated incorrectly
- #64 Store float values in the flat memory model
- #65 Add support for zero-aggregate initializers
- #66 Jumping out of a loop from two different blocks to a same exit block breaks the translation of PHI values
