[vhdl] actually fix assert strings