Checking whether an Automaton is Monotonic is NP-complete