Koopman-Hopf Hamilton-Jacobi Reachability and Control