Stop checking whether a type is ignored in GetTypeDefinition since it's wasted effort
Hack a couple changes into the HTML5 audio backend to deal with a bug in recent versions of Firefox where audio playback stops working after enough sounds have played.