Fix satisfaction to fail on resource limits #179
Description
After #168 is merged, we should update the current satisfier to fail if the satisfaction found by the satisfier exceeds those limits. Currently, #168 detects whether there can be any path exists that exceeds those limits, but for satisfier API since we have already found a satisfaction, we need to check whether that particular satisfaction exceeds the limits.
It is possible to do this in parallel with #168 but will probably raise some conflicts once #168 is merged.