Algorithm for computing the moduli space of pointed Gorenstein curves with Weierstrass gap sequence \(1,2,\ldots,g-2,\lambda,2g-3\) Large 2-adic Galois image and non-existence of certain abelian surfaces over \(\mathbb{Q}\) 