More descriptive Verlet kernel macro parameter names

Also more consistent with SIMD kernel usage

Change-Id: Ia8dd723075b5c289d0171e3d34ecd51a0fc152f4
Merge "More descriptive Verlet kernel macro parameter names" into release-4-6