Computer-Assisted Proofs of Chaos in Long Short-Term Memory Models