VeraCrypt Trustworthiness?