Runs SWIFT with the internal checks enabled.