Turn on additional simulations and begin conversion to strict types

See title.