We now appropriately box Void values.

I guess this bug just... never caused an issue until now?