Floating point infrastructure.

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
Fix UnsatCore in language bindings.
Fix segfault in lambdas when constructed via API.
Fix valgrind-flagged error about uninitialized value.