Unwrap inline assembly

This unwraps the text to follow our style guide.

Note that there is a small rendering difference in "Correctness and
validity" due to the use of mdash.

Author: ehuss