A Minimalistic Verified Bootstrapped Compiler (Proof Pearl)