Swap two bitvectors. Require that both inputs are positive.