Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification