Fix bugs in visualization API and make it ore robust. Fix bugs in //fixedpos, //suppress, and //highlight.