Just double-checking: optimising for speed doesn't inhibit SBCL's type-declarations-are-assertions behaviour does it?