Explicit problems in the non-Archimedean theory of modular forms