Test a vector for constant true/false bdds.
Returns non-zero if the vector v consists of only constant true or false BDDs. Otherwise zero is returned. This test should precede any call to bvec_val.
