inside: modernize overview to discourage extensions and embedding

The beginning of the "Inside" documentation was still geared toward
writing extensions or embedding Racket, which almost no one does any
more. Shuffle and change the beginning to orient it around the
foreign-function interface, instead.
optimizer: test use of virtual clock in branches

Test that the optimizer don't move some expressions inside if branches.