break out core of (UPDATE-DIGEST (X VECTOR)) to a common function

This change requires making the code more generic at a slight runtime
performance cost.  I think the assembly changes will at least compensate
for this change on appropriate implementations.  For those
implementations where said assembly changes do not exist, patches
welcome.  (Those implementations may not have cared terribly much about
the performance of Ironclad, anyway.)