Change goalstack from Protected<goalstate0> list to goalstate0 list

This will reduce the number of incorrect states.

Exploration using NHol assembly has some errors. Falling back into
loading modules into F# Interactive for now.