IO & VacuumLabs: Enhancing Plutus - Performance, Correctness, and Usability