Address #89: Remove C code to scavenge read-only space
Since we got rid of the symbol *scavenge-read-only-space*
, we can
never scavenge the read-only space, so remove the C code that
scavenges the space.
Get rid of the unused var read_only_space_size
too.