we now generate VCs for map accesses

src/funcheck/CodeExtraction.scala

src/purescala/DefaultTactic.scala

src/purescala/FairZ3Solver.scala

src/purescala/VerificationCondition.scala