adds hw4 and outputs
adds missing comma
cleans up imports
uses math.pi correctly
correctly initializes tuple of IVs
redoes updating code

in general, encourage style with less `memo`-changing
lol

fixes early termination of maxwalksat
removes some reportage we don't want