minor speed up
serious speed up by pruning unnecesarry rooted verifiers