Log.v: mark valu2addr and addr2valu as opaque
Log.v: mark valu2addr and addr2valu as opaque

this avoids simpl blowing up on valu2addr, and thus
prevents "step" from taking forever in read_ok.

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl