Kill off lazyinit thing we no longer need.

It was always a bit of a hack, anyway.