The Complexity of Verifying Boolean Programs as Differentially Private