I made the installation process for the OS a bit easier by integrating the Android Verified Boot public key into the factory images. It gets flashed by ./flash-all.sh instead of needing to separately download and flash it. Still needs to be manually erased to go back to stock.