Clean up deprecation warning printing code

// TODO: Integrate this into ShellInstanceState.

// The set of shown warnings should not be global, but rather per-Shell,

// and we should not be using methods like console.warn inside the

// shell-api package either (because we should generally stick to

// what's in the language itself, not the specific runtime environments).