Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints