Describir: Terra: Imperative-Symbolic Co-Execution of Imperative Deep Learning Programs