Comparing the antiproton and proton and progress toward cold antihydrogen