A few little improvements to the influence code

Switch back to the old XOR algorithm, since I realized the new one
may not always work well.
Take measurements even when a value is concrete. We could do more
optimization of this case but it shouldn't be excluded completely.
Fix some signedness/overflow issues in the binary search.