Removed wrong/obsolete VM tests for taint.
Fixed Type.infect specs.