VCs are displayed appropriately

1) Goals where getting split if we have lambda functions. The editor thinks our goal has the form "<int> : <goal>", which is no longer true with the new VC generator.
2) Line number sorting needs to parse the strings as integers before attempting to compare.