Add a debug check for a non-empty FPU stack on x86 (see #4914)