Decidability of Regularity and Related Properties of Ground Normal Form Languages