High‐proper‐motion white dwarfs and halo dark matter