Correction to binary_multiple_of_4?: add the test for invalud binary number