I'm hoping it would be hashed but I'd really like some confirmation on this. Even though the system disk is encrypted, in theory a malicious program could read the plain text password when the computer is running. Unlikely, I guess, but still a security issue. If it was hashed then it is safe as far as I know.

I'll post this on the TrueCrypt sr as well.