Better checking of -c option in zafl.sh.  updates to ceb.map and zax.map to support Zuntracer style patching of critical edge jumps