changed the shifting bit-blasting to potentially be more efficient
merged golden
merged golden
first draft implementation of uf proofs with holes
fixed some bugs
fixed uf proof with holes bugs
added currying for uf proofs; still needs debugging
fixed uf proof bug: now storing deleted theory lemmas
cleaned up proof code
fixed options::proof() segfault
Merge branch 'master' of https://github.com/CVC4/CVC4
fixed proof regression script and added a new uf test case