Add Assumption#assumed_value

This change adds a method to the Assumption class that returns the
actively assumed value.