Move templates from cilantro static into varify proper

Fix #24.