Methods For Improved Analysis And Implementation Of Algorithms For Local Hamiltonians