Add search limit validation, typed models, and mypy strict CI

Add search limit validation, typed models, and mypy strict CI #53