A laboratory test of the isotropy of light propagation at the 10−17 level