Fix compiler warnings in BV-related code (unused vars mostly).

Liana, just another cleanup pass.  Minor stuff.  Please review this and either accept, or mark vars as CVC4_UNUSED if you want to keep them.