Add regression check testcase to boto_test.py and small dialyzer fixes