A Generator of Hard 2QBF Formulas and ASP Programs