Make tests golden

PrintSpec and ASTSpec could be golden tests