fixed bug when matrices of wrong size were provided
revised how PWM sanitity-checks are modeled