Added testing to symcc printers

Tests use pytest (for now).