Incorrect logic for PBE and Inv benchmarks in SyGuS v2

[SaswatPadhi]

We should update the v2 parser and printer to work with (set-logic Inv_X) and (set-logic PBE_X) logics instead of the v1-style (set-logic X).