Fix bug in VERTICES-CONNECTED?

It was always returning #t.

Also did some minor cleanup and reformatting stuff.