IO & VacuumLabs: Enhancing Plutus - Performance, Correctness, and Usability | Cardano Proposal Examiner