Zaslat SMS: Regularity Problems for Visibly Pushdown Languages