Be more careful about signed/unsigned comparisons

[terrillmoore]

gcc -Wall complains about signed/unsigned comparisons. It doesn't hurt to fix these. It requires some verbosity, but isn't generally difficult, and it makes the code more proof-like. This ticket tracks those changes.