added assertions and made them run
can now put functions into the hashtable and load the verified source