New CEGIS with optimized grammar is now just CEGIS, old is called
Naive Cegis. By default, use new grammar. --cegis:naive to use the old
one.

Add option to pick maximum expression size synthesizable by CEGIS.

Remove some redundancy in handling of synthesis options.