Lazy/async loading of REPL history

[KristofferC]

My REPL history file from February (so ~5months old) is 100k lines long and takes 0.1-0.15 seconds to load. Having the full REPL history is nice but it should probably be lazy or asynchronously loaded.

[tecosaur]

Closed by #59819, which loads the REPL history in the background asynchronously.