An M theory solution to the strong CP-problem, and constraints on the axiverse