fix a bug that crashes opam (lazy of non-pointer); move a debug function to make libasmrund.a linkable; small additions to docs