adding verbose opt and removing cg.spark opt to avoid unexplained callgraph pruning