remove legacy gappa code from framework: using z3 for floating point now

@andreistefanescu @yilongli please review