Create dpll_unit_tests.py

unit tests for DPLL