Remove the std::ostream form of PseudoSourceValue's print,