Irql.qll updates to expand ability to detect function IRQL requirements

Irql.qll updates to expand ability to detect function IRQL requirements #650