Quantum chemistry and quantum computers -- Testing the Bravyi-Kitaev mapping and Trotter order optimisations